Derivation of test objectives automatically

نویسندگان

  • J. J. Gutiérrez
  • M. J. Escalona
  • M. Mejías
  • J. Torres
چکیده

A vital task of software development is to test the correct implementation of functional requirements. Use cases are widely used artefacts that define the functionality of a software system in early stages of the development process. This paper exposes the lack of automatism in existing approaches that deal with the derivation of test cases, and introduces a new approach and tool to derive systematically test objectives from the use cases of the system under test.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Local higher derivations on C*-algebras are higher derivations

Let $mathfrak{A}$ be a Banach algebra. We say that a sequence ${D_n}_{n=0}^infty$ of continuous operators form $mathfrak{A}$ into $mathfrak{A}$ is a textit{local higher derivation} if to each $ainmathfrak{A}$ there corresponds a continuous higher derivation ${d_{a,n}}_{n=0}^infty$ such that $D_n(a)=d_{a,n}(a)$ for each non-negative integer $n$. We show that if $mathfrak{A}$ is a $C^*$-algebra t...

متن کامل

Automating Formal Speciication-based Testing to Appear: Tapsoft '97

This paper presents a technique for automatically generating logical schemata that specify groups of black-box test cases from formal speci cations containing universal and existential quanti cation. These schemata are called test frames. Previous automated techniques have dealt with languages based on propositional logic. Since this new technique deals with quanti cation it can be applied to m...

متن کامل

Automatic Test Generation for the Analysis of a Real-Time System: Case Study

We present a framework for testing timing constraints of real-time systems. Our tests are automatically derived from speciications of minimum and maximum allowable delays between input/output events in the execution of a system. Our test derivation scheme uses a graphical speciication formalism for timing constraints, and the real-time process algebra Algebra of Communicating Shared Resources (...

متن کامل

On Jordan left derivations and generalized Jordan left derivations of matrix rings

Abstract. Let R be a 2-torsion free ring with identity. In this paper, first we prove that any Jordan left derivation (hence, any left derivation) on the full matrix ringMn(R) (n 2) is identically zero, and any generalized left derivation on this ring is a right centralizer. Next, we show that if R is also a prime ring and n 1, then any Jordan left derivation on the ring Tn(R) of all n×n uppe...

متن کامل

Jordan derivation on trivial extension

Let A be a unital R-algebra and M be a unital A-bimodule. It is shown that every Jordan derivation of the trivial extension of A by M, under some conditions, is the sum of a derivation and an antiderivation.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006